Computer systems - PDFSEARCH.IO - Document Search Engine

Computer systems
Results: 26232

#	Item
71	Synthesising Verified Access Control Systems through Model Checking Nan Zhang, Mark Ryan∗ School of Computer Science University of Birmingham {nxz,mdr}@cs.bham.ac.uk Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2009-02-25 10:33:23
72	Ph.D. in Electronic and Computer Engineering Dept. of Electrical and Electronic Engineering University of Cagliari Diagnosis and Identification of Discrete Event Systems using Petri Add to Reading List Source URL: www.diee.unica.it Language: Italian - Date: 2015-01-06 13:10:44
73	A Deadline-Floor Inheritance Protocol for EDF Scheduled Embedded Real-Time Systems with Resource Sharing A. Burns Department of Computer Science, University of York, UK. Add to Reading List Source URL: www-users.cs.york.ac.uk Language: English - Date: 2012-07-03 07:32:54
74	Privacy-supporting cloud-based conference systems: protocol and verification Myrto Arapinis, Sergiu Bursuc, Mark Ryan School of Computer Science, University of Birmingham Security of cloud computing Add to Reading List Source URL: www.cs.bham.ac.uk. Language: English - Date: 2011-06-20 08:16:21
75	Crowd-Powered Intelligent Systems Walter S. Lasecki ROC HCI Lab Computer Science Department University of Rochester http://wslasecki.com Add to Reading List Source URL: web.eecs.umich.edu Language: English - Date: 2018-01-09 09:32:29
76	USPAS – Simulation of Beam and Plasma Systems Steven M. Lund, Jean-Luc Vay, Remi Lehe, Daniel Winklehner and David L. Bruhwiler Computer Lab: Add to Reading List Source URL: people.nscl.msu.edu Language: English - Date: 2018-01-18 18:04:21
77	Bringing affordable motion analysis to the world Computer Requirements MaxPRO Add to Reading List Source URL: www.innovision-systems.com - Date: 2018-08-14 20:09:36
78	USPAS – Simulation of Beam and Plasma Systems Steven M. Lund, Jean-Luc Vay, Remi Lehe, Daniel Winklehner and David L. Bruhwiler Computer Lab: Graphical User Interfaces Instructor: David L. Bruhwiler Contributors: P. Mo Add to Reading List Source URL: people.nscl.msu.edu - Date: 2018-01-17 13:01:54
79	O K L A H O M A S T A T E U N I V E R S I T Y SCHOOL OF ELECTRICAL AND COMPUTER ENGINEERING ECEN 5713 Linear Systems Fall 2003 Midterm Exam #1 Add to Reading List Source URL: isc.okstate.edu Language: English - Date: 2012-06-06 12:38:06
80	CS 107e Lecture 4: From ASM to C Part 1 Monday, April 16, 2018 Computer Systems from the Ground Up Add to Reading List Source URL: cs107e.github.io Language: English - Date: 2018-06-11 18:05:51

UPDATE